The Static Single Information Form

The Static Single Information (SSI) form is a compiler intermediate representation that allows efficient sparse implementations of predicated analysis and backward dataflow algorithms. It possesses several attractive graph-theoretic properties which aid in program analysis. An extension to SSI form, SSI+, is also presented, along with a complete executable abstract semantics for the representation. Applications to abstract interpretation and hardware compilation are discussed. The SSI form has been implemented on the FLEX compiler infrastructure, and it has been used to implement several analyses and optimizations. Details on these predicated analysis techniques are presented, as well as data from the practical implementation. Thesis Supervisor: Martin Rinard Title: Professor, Laboratory for Computer Science